reducibility of problem

[计] 归约性题, 可简化问题